module Module

type U =
    | A of int *
    | B
